Les bateaux traditionnels de Bénarès, regards sur une technique de construction

Sur une souche de BRUCELLA d'origine humaine

Etat actuel de nos connaissances sur les argasidés de l'Iran

Intégration de données environnementales : une approche basée sur les entrepôts de documents XML et les ontologies

Résumé. Cet article présente l’approche que nous avons adoptée pour résoudre le problème d’intégration de données dans le contexte du projet SIC-Sénégal dont l‘objectif est de permettre à plusieurs organismes partenaires de partager leurs sources de données environnementales. Nous réalisons une intégration en deux phases. Une première phase d’intégration structurelle, basée sur l’utilisation d’...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres

La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...